Short Deduction